منابع مشابه
Specifying Services with UML and UML-RT: Foundations, Challenges and Limitations
The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides. A service, in our view, is defined by the interplay among components required to establish a certain result. Services shift attention from the details of individual components to a global view of the system. We give a formal definition for the notion of service...
متن کاملTowards Precise Service Specification with UML and UML-RT
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. The current trend towards “web services” is just one example of this increase in popularity; others occur in safety-critical systems (such as in the automotive or avionics domain), where precise specification, and correct implementation of requirements are essential. Surprisingly, however,...
متن کاملRigorous Development with UML-RT
With model-driven development being on the verge of becoming an industrial standard, systematic development strategies based on safe model transformations is a demand. However, the lack of a formal semantics makes the application of such transformations inadequate, especially transformations that must take into account changes in both behavioural and structural diagrams. As part of the Master t...
متن کاملSpecifying System Behavior in UML
The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas describe the functionality of system operations by preand postconditions; they are written in the Object Constraint Language (OCL), as defined by the Unified Modeling Language (UML). A SIP describes the temporal o...
متن کاملSpecifying Clock Constraints with UML/MARTE
The OMG UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) aims at using the general-purpose modeling language UML in the domain of Real-Time and Embedded (RTE) systems. To achieve this goal, it is absolutely required to introduce inside the mainly untimed UML an unambiguous time structure which MARTE model elements can rely on to build precise models amenable to fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80483-3